Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
711	An Efficient Unification Algorithm ALBERTO MARTELLI Consiglio Nazionale delle Ricerche Add to Reading List Source URL: www.nsl.com Language: English - Date: 2007-07-28 10:31:25 Differential equation Mathematics Mathematical analysis Calculus Four-square cipher Classical cipher Automated theorem proving Logic programming Unification
712	B-Cubing: New Possibilities for Efficient SAT-Solving Domagoj Babi´c, Student Member, IEEE, Jesse Bingham, Student Member, IEEE, and Add to Reading List Source URL: www.domagoj-babic.com Language: English - Date: 2008-08-13 18:39:15 Applied mathematics Formal methods Automated theorem proving Constraint programming DPLL algorithm Tree Symbol Binary search tree Boolean satisfiability problem Theoretical computer science Mathematics Binary trees
713	SPASS-XDB goes Mathematical David Stanovsk´ y1 , Martin Suda2 , and Geoff Sutcliffe3 Add to Reading List Source URL: www.karlin.mff.cuni.cz Language: English - Date: 2011-01-12 07:27:42 Automated theorem proving Logic in computer science Formal methods Mathematical logic Axiom Automated reasoning SPASS Geoff Sutcliffe Mathematical proof Mathematics Theoretical computer science Mathematical software
714	Theo and Octopus at CASC-J3 Monty Newborn [removed] Add to Reading List Source URL: www.cs.mcgill.ca Language: English - Date: 2006-09-12 13:23:01 Mathematical logic Proof theory Formal methods Theorems Mathematical proof Resolution Vampire Proof Logic Mathematics Automated theorem proving
715	University of Potsdam Faculty of Computer Science Add to Reading List Source URL: www.cs.uni-potsdam.de Language: English - Date: 2006-05-02 04:55:54 Automated theorem proving Constraint programming Boolean algebra Rules of inference Logic programming Boolean satisfiability problem Directed acyclic graph Resolution Clause Theoretical computer science Mathematics Mathematical logic
716	CUTE: A Concolic Unit Testing Engine for C Koushik Sen, Darko Marinov, Gul Agha Department of Computer Science Add to Reading List Source URL: srl.cs.berkeley.edu Language: English - Date: 2009-02-05 16:14:24 Automated theorem proving Concolic testing Test Data Generation Theoretical computer science Symbolic execution Pointer Algorithm Function Linear programming Mathematics Computing Software engineering
717	Are there Hard Examples for Frege Systems? Maria Luisa Bonet Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2004-11-24 07:53:45 Propositional calculus Mathematical logic Logic in computer science Frege system Automated theorem proving Computational complexity theory Gottlob Frege Tautology Mathematical proof Mathematics Logic Theoretical computer science
718	Thesis for the degree of Doctor of Philosophy Towards a practical programming Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-06-08 03:57:01 Computing Functional languages Automated theorem proving Programming paradigms Logic in computer science Agda Dependent type Type system Coq Software engineering Programming language theory Type theory
719	Algebraic Properties of Rules of Frege-Hilbert Calculi Elmar Eder Add to Reading List Source URL: www.cosy.sbg.ac.at Language: English - Date: 2005-08-09 12:26:52 Proof theory Automated theorem proving Propositional calculus Logic in computer science Hilbert system Proof calculus Combinatory logic Well-formed formula Deduction theorem Logic Mathematical logic Mathematics
720	Tobias Nipkow Markus Wenzel Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2013-02-12 08:40:54 Mathematical proof Recursion Mathematical induction Algorithm Theorem Structural induction Natural deduction Automated theorem proving Recursive definition Mathematics Logic Mathematical logic